机译:分布式系统的形式技术:第14届IFIP WG 6.1国际会议,2012年FMOODS和第32届IFIP WG 6.1国际会议,FORTE 2012年,斯德哥尔摩,瑞典,2012年6月13日至16日。
机译:会议报告第11届IFIP WG 11.11国际信任管理会议(IFIPTM 2017)
机译:第二届多体系统动力学IMSD 2012国际联合会议于2012年5月29日至6月1日在德国斯图加特大学举行
机译:第二届多体系统动力学国际联合会议– IMSD 2012 –于2012年5月29日至6月1日在德国斯图加特大学举行
机译:企业信息系统研究与实际问题国际会议第11届IFIP WG 8.9工作会议,CONFENIS 2017
机译:分布式系统的形式技术:第14届IFIP WG 6.1国际会议,2012年FMOODS和第32届IFIP WG 6.1国际会议,FORTE 2012年,瑞典斯德哥尔摩,2012年6月13日至16日。
机译:LBNL会议项目X前端系统开发进展:于2012年5月20日至25日在路易斯安那州新奥尔良举行的第三届国际粒子加速器大会(IpaC-2012)上发表。